English translation for "compatibility relation"
|
- 兼容关系
相容关系
Related Translations:
- Example Sentences:
| 1. | Studying the attribute reduction in incomplete information systems , a ga - based algorithm is proposed to reduce assignment with the compatibility relation taken into account
摘要研究了不完备信息系统下的属性约简，基于相容关系提出一种遗传算法的分配约简算法，算法编码采用了二进制一维编码形式，比较适合地表达了遗传算子。 | | 2. | In light of the existing problem in researching the mechanism of prestressed anchor rope foundation beam system , and based on the loading and deformation compatibility relation of foundation and foundation beam of prestressed anchor rope foundation beam system , through decomposition and discretization of prestressed anchor rope foundation beam system , a new theoretical calculation method that can consider the interaction of prestressed anchor rope foundation beam system , is proposed
摘要针对现阶段预应力锚索地梁与地基共同作用机理研究方面存在的问题，以预应力锚索地梁和地基岩土体之间荷载、变形协调关系为基础，通过对预应力锚索地梁体系的分解和离散化处理，建立了能考虑预应力锚索地梁体系共同作用的预应力锚索地梁计算理论和方法。 | | 3. | A widely used method for checking real - time systems is , according to the real - time property to be checked , to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space . the algorithm needs only to explore the finite space to get a correct answer . in most cases , exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases . in this paper , an equivalence relation is introduced to check whether a concurrent system , which is composed of a finite set of real - time automata , satisfies a linear duration property . to avoid exhaustive exploration , this paper also introduces a compatibility relation between timed states ( configurations ) . based on these two relations , an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property . the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature
一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时，还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率 | | 4. | Due to the difference of material characters and mechanics performance between concrete structures and soils , it is necessary to pay great attention to model the interface element , simulate the soil behavior and the optimization of the finite elements to satisfy the numerical precision and the compatibility relation of the whole project
由于结构与土的材料特性，受力性能等方面的差异，为了满足有限元计算精度和效率的要求，合理的反映结构与土体之间的位移协调，需要在结构与土体之间设置恰当的接触面单元，正确的模拟土的本构关系，并尽可能地简化结构的数值模型。 |
- Similar Words：
- "compatibility of visceral qi" English translation, "compatibility peripheral" English translation, "compatibility problem" English translation, "compatibility process" English translation, "compatibility program" English translation, "compatibility relationship" English translation, "compatibility self" English translation, "compatibility set" English translation, "compatibility software tool" English translation, "compatibility systems" English translation
|
|
|
